441. Quasiconvex Optimization and Location Theory
پدیدآورنده: by Jaoquim António Santos Gromicho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer science-- Mathematics.,Econometrics.,Information theory.,Mathematical optimization.,Mathematics.
442. Queues
پدیدآورنده: Moshe Haviv
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Queuing theory
رده :
T57
.
9
.
H38
2013
443. Rational Drug Design
پدیدآورنده: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Numerical analysis.
444. Realtime Data Minin
پدیدآورنده: / by Alexander Paprotny, Michael Thess
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Computer software,Electronic books
رده :
E-BOOK
445. Reasoning web :
پدیدآورنده: Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
446. Recent Advances in Statistical Research and Data Analysis
پدیدآورنده: edited by Yasumasa Baba, Anthony J. Hayter, Koji Kanefuji, Satoshi Kuriki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science).,Mathematical statistics.,Statistics.
447. Recent developments in data science and business analytics :
پدیدآورنده: Madjid Tavana, Srikanta Patnaik, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Decision making-- Statistical methods-- Data processing.,Management-- Statistical methods-- Data processing.,Big Data/Analytics.,Business Information Systems.,Operations Research/Decision Theory.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business mathematics & systems.,Operational research.
رده :
HD30
.
215
448. Reference data for engineers :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Electronics.,Telecommunication.,Computer engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Electrical.,Telecommunication.
رده :
TK6552
.
F4
2002eb
449. Runtime verification :
پدیدآورنده: Christian Colombo, Martin Leucker (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
450. STEAM Education :
پدیدآورنده: editors, Myint Swe Khine and Shaljan Ageepattamannil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering-- Study and teaching.,Mathematics-- Study and teaching.,Science-- Study and teaching.,Technology-- Study and teaching.,Engineering-- Study and teaching.,Mathematics-- Study and teaching.,SCIENCE-- Study & Teaching.,Science-- Study and teaching.,Technology-- Study and teaching.
رده :
Q181
451. Scalable uncertainty management :
پدیدآورنده: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
453. Selected papers of M. Ohya /
پدیدآورنده: edited by N. Watanabe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Quantum entropy.,Quantum teleportation.,Quantum theory.,Quantum entropy.,Quantum teleportation.,Quantum theory.,SCIENCE-- Physics-- Quantum Theory.
رده :
QC174
.
85
.
Q83
O3582
2008eb
454. Self-Timed Control of Concurrent Processes
پدیدآورنده: edited by Victor I. Varshavsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.
455. Semantic technology :
پدیدآورنده: Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
رده :
QA76
.
5913
456. Sensor network operations /
پدیدآورنده: edited by Shashi Phoha, Thomas LaPorta, Christopher Griffin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Sensor networks.,Sensor networks.,TECHNOLOGY & ENGINEERING-- Telecommunications.
رده :
TK7872
.
D48
S435
2006eb
457. SmartWatch design fundamentals :
پدیدآورنده: Wallace Jackson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Android (Electronic resource),Android (Electronic resource),Smartwatches-- Design.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK7870
458. Space Information Networks
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Computer Communication Networks; Coding and Information Theory; Information Systems Applications (incl.Internet); Mathematics of Computing; Computer System Implementation
459. Statistical and inductive inference by minimum message length
پدیدآورنده: / C.S. Wallace
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Minimum message length (Information theory),Mathematical statistics , Methodology,Induction (Mathematics),Electronic books. , local
رده :
E-BOOK
460. Statistical multisource-multitarget information fusion
پدیدآورنده: Mahler, Ronald P. S.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Expert systems )Computer science(,Mathematics ، Multisensor data fusion,، Bayesian statistical decision theory,، Automatic tracking,، Signal processing,، Tracking radar,، Target acquisition
رده :
QA
76
.
76
.
E95M34
2007
